2

On rewrite programs: Semantics and relationship with prolog

Year:
1992
Language:
english
File:
PDF, 1.86 MB
english, 1992
4

Refutational theorem proving using term-rewriting systems

Year:
1985
Language:
english
File:
PDF, 1.99 MB
english, 1985
10

Automated proofs of the moufang identities in alternative rings

Year:
1990
Language:
english
File:
PDF, 1.17 MB
english, 1990
18

On the hardness of counting problems of complete mappings

Year:
2004
Language:
english
File:
PDF, 245 KB
english, 2004
19

Parallelization of deduction strategies: An analytical study

Year:
1994
Language:
english
File:
PDF, 2.90 MB
english, 1994
23

Editorial

Year:
1991
Language:
english
File:
PDF, 94 KB
english, 1991
24

Foreword

Year:
1998
Language:
english
File:
PDF, 64 KB
english, 1998
29

Automatic inductive theorem proving using prolog

Year:
1987
Language:
english
File:
PDF, 1.63 MB
english, 1987
33

An architecture and category knowledge for intelligent information retrieval agents

Year:
2000
Language:
english
File:
PDF, 491 KB
english, 2000
34

The unique approach to institutional repository

Year:
2009
Language:
english
File:
PDF, 462 KB
english, 2009
41

On subsumption in distributed derivations

Year:
1994
Language:
english
File:
PDF, 1.25 MB
english, 1994
42

Editorial

Year:
2005
Language:
english
File:
PDF, 95 KB
english, 2005
44

Towards a foundation of completion procedures as semidecision procedures

Year:
1995
Language:
english
File:
PDF, 3.35 MB
english, 1995